<?php
class Foo {
    public stdClass $std;
    public int $int;
}

